WindowManager: ignore ctrl-alt-left/right

Fixes a regression introduced in de72065a

https://bugzilla.gnome.org/show_bug.cgi?id=679005

diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index dc79f32a579edf8248fe756773579f0d74ec02d3..d096c83997fc90455b39085a18ef4cb17d7d3c1f 100644 (file)
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -588,6 +588,10 @@ const WindowManager = new Lang.Class({
         let [action,,,direction] = binding.get_name().split('-');
         let direction = Meta.MotionDirection[direction.toUpperCase()];
 
+        if (direction != Meta.MotionDirection.UP &&
+            direction != Meta.MotionDirection.DOWN)
+            return;
+
         if (action == 'switch')
             this.actionMoveWorkspace(direction);
         else